Theorem

Given sets AA and BB, if there exists injective functions f:ABf : A \to B and g:ABg: A \to B between the sets, then there exists a bijective function h:ABh: A \to B

#incomplete


References

  1. https://en.wikipedia.org/wiki/Schröder–Bernstein_theorem
  2. Aliprantis, C. D., & Border, K. C. (1999). Infinite Dimensional Analysis: A Hitchhiker’s Guide, 10.